La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas o hipótesis iniciales.^[1]​ Cuando una conclusión se sigue de sus premisas o hipótesis de partida, por medio de deducciones lógicas válidas, se dice que éstas implican aquella (es decir, que las premisas implican la conclusión).

La inferencia es el objeto de estudio tradicional de la lógica, así como la vida es el objeto de estudio de la biología. La lógica investiga los fundamentos por los cuales algunas inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su estructura lógica y no por el contenido específico del argumento o el lenguaje utilizado (retórica). Por esto se construyen sistemas lógicos que capturan los factores relevantes de las deducciones que aparecen en el lenguaje natural.^[2]​

Tradicionalmente, se distinguen tres clases de inferencias: las deducciones, las inducciones y las abducciones, aunque a veces se cuenta a la abducción como un caso especial de inducción.^[3]​ Las inducciones se estudian desde la lógica inductiva y el problema de la inducción. Las deducciones, en cambio, son estudiadas por la mayor parte de la lógica contemporánea.^[4]​

En las investigaciones sobre la inteligencia artificial, la inferencia es la operación lógica utilizada en los motores de inferencia de los sistemas expertos.^{[cita requerida]}